rotary group number

旋转群数